منابع مشابه
Formal Language Theory For Natural Language Processing
This paper reports on a course whose aim is to introduce Formal Language Theory to students with little formal background (mostly linguistics students). The course was first taught at the European Summer School for Logic, Language and Information to a mixed audience of students, undergraduate, graduate and postgraduate, with various backgrounds. The challenges of teaching such a course include ...
متن کاملA Formal Language for Composition
A composition language based on a formal semantic foundation will facilitate precise specification of glue abstractions and compositions, and will support reasoning about their behaviour. The semantic foundation, however, must address a set of requirements like encapsulation, objects as processes, components as abstractions, plug compatibility, a formal object model, and scalability. In this wo...
متن کاملFormal Language and Application
eb is a trace-based formal language created for the specification of information systems (IS). In this technical report, we present the eb formal language for attribute definitions. Attributes, linked to entities and associations of an IS, are computed in eb by recursive functions on the valid traces of the system. The syntax and the main properties of the language are introduced. Then, we aim ...
متن کامل1 Formal Language Theory
This chapter provides a gentle introduction to formal language theory, aimed at readers with little background in formal systems. The motivation is natural language processing (NLP), and the presentation is geared towards NLP applications, with linguistically motivated examples, but without compromising mathematical rigor. The text covers elementary formal language theory, including: regular la...
متن کاملFormal Foundations for the Unified Modeling Language
We present in this work an outline of an ongoing research line in the framework of the Software Engineering Group (SEG) at the National University of San Luis. We describe here the previous work carried out by the group in formalizing UML using RSL, as well as the current and future work in the
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computing and Information Science in Engineering
سال: 2015
ISSN: 1530-9827,1944-7078
DOI: 10.1115/1.4029216